On Fraisse's Order Type Conjecture

نویسنده

  • RICHARD LAVER
چکیده

ing from the embeddability relation between order types, define a quasi-order to be a reflexive, transitive relation. Throughout this paper, the letters Q and R will range over quasi-ordered sets and classes. Various quasi-ordered spaces will be defined; in each case we will use the symbol < (perhaps with subscripts) to denote the quasi-order under consideration. If q1, q2 E Q, write ql < q2 to mean ql < q2 but q2 ; q,, and write q, q2 to mean q1 _ q2 and q2 < q1. (All results could be done in terms of partial orderings (quasi-orderings where =_ ) instead of quasi-orderings; we elect not to do this since it would mean continually taking equivalence classes.) Whenever a subset Q1 of Q is defined, we assume that Q1 is quasi-ordered as a subordering of Q. We turn now to the definition of well-quasi-ordering, iving two equivalent formulations. Q is well-quasi-ordered (wqo)df (i) for any sequence i<(,, of members of Q, 9i, j < (o: i < j and qj ? qj, equivalently, (ii) every descending sequence of members of Q is finite, and every antichain of members of Q is finite. Thus, in these terms, the first of the two theorems listed in the introduction reads: the class OR is wqo under the embeddability relation. Well-quasi-orderings were first studied by Higman in [5], where the equivalence of the two definitions (immediate from Ramsey's theorem) was observed. If q E Q, let Qq ={r E Q: q S r}. From part (i) in the definition of wqo (which will be the version of wqo used from now on) we have immediately the following Induction principle for well-quasi-orderings: If a proposition F(Q) is true

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A new optimal method of fourth-order convergence for solving nonlinear equations

In this paper, we present a fourth order method for computing simple roots of nonlinear equations by using suitable Taylor and weight function approximation. The method is based on Weerakoon-Fernando method [S. Weerakoon, G.I. Fernando, A variant of Newton's method with third-order convergence, Appl. Math. Lett. 17 (2000) 87-93]. The method is optimal, as it needs three evaluations per iterate,...

متن کامل

Some difference results on Hayman conjecture and uniqueness

In this paper, we show that for any finite order entire function $f(z)$, the function of the form $f(z)^{n}[f(z+c)-f(z)]^{s}$ has no nonzero finite Picard exceptional value for all nonnegative integers $n, s$ satisfying $ngeq 3$, which can be viewed as a different result on Hayman conjecture. We also obtain some uniqueness theorems for difference polynomials of entire functions sharing one comm...

متن کامل

On some generalisations of Brown's conjecture

Let $P$ be a complex polynomial of the form $P(z)=zdisplaystyleprod_{k=1}^{n-1}(z-z_{k})$,where $|z_k|ge 1,1le kle n-1$ then $ P^prime(z)ne 0$. If $|z|

متن کامل

A note on Fouquet-Vanherpe’s question and Fulkerson conjecture

‎The excessive index of a bridgeless cubic graph $G$ is the least integer $k$‎, ‎such that $G$ can be covered by $k$ perfect matchings‎. ‎An equivalent form of Fulkerson conjecture (due to Berge) is that every bridgeless‎ ‎cubic graph has excessive index at most five‎. ‎Clearly‎, ‎Petersen graph is a cyclically 4-edge-connected snark with excessive index at least 5‎, ‎so Fouquet and Vanherpe as...

متن کامل

$L^p$-Conjecture on Hypergroups

In this paper, we study $L^p$-conjecture on locally compact hypergroups and by some technical proofs we give some sufficient and necessary conditions  for a weighted Lebesgue space  $L^p(K,w)$ to be a convolution Banach algebra, where $1<p<infty$, $K$ is a locally compact hypergroup and $w$ is a weight function on $K$.  Among the other things, we also show that if $K$ is a locally compact hyper...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010